1. Advances in discrete and computational geometry
پدیدآورنده : Edited by Bernard chazelle, Jacob E. Goodman, Richard Pollack
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Combinatorial geometry - congresses,، Geometry - Data processing - congresses
رده :
QA
167
.
J6
A3
1996
2. Advances in discrete and computational geometry
پدیدآورنده : / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : combinatorial geometry- Congresses,Geometry- Data processing - Congresses
رده :
QA167
.
J65
1999
3. Advances in geometric modeling and processing
پدیدآورنده : / Bernard Mourrain, Scott Schaefer, Guoliang Xu (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer-aided design, Congresses,Computer graphics, Congresses,Geometrical models, Data processing, Congresses,Geometry, Data processing, Congresses
رده :
QA447
.
G57
2010
4. Advances in geometric modeling and processing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design ; Congresses. ; Computer graphics ; Congresses. ; Geometrical models ; Data processing ; Congresses. ; Geometry ; Data processing ; Congresses. ; Geometrical models ; Congresses. ; Algorithmische Geometrie. ; swd. ; Geometrische Mode-Computer
5. Advances in geometric modeling and processing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design ; Congresses. ; Computer graphics ; Congresses. ; Geometry ; Data processing ; Congresses. ; Geometrische Modellierung. ; swd. ; Algorithmische G-Geometrical models ; Data processing ; Congresses. ; Geometrical models ; Congresses. ; Computer
6. Algebraic geometry and geometric modeling
پدیدآورنده : Mohamed Elkadi, Bernard Mourrain, Ragin Piene, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Geometry, Algebraic,Mathematical models - Congresses ، Curves on surfaces,Data processing - Congresses ، Geometry
رده :
QA
564
.
A352
2006
7. Algebraic geometry and geometric modeling
پدیدآورنده : / Mohamed Elkadi, Bernard Mourrain, Ragni Piene, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Algebraic, Congresses,Curves on surfaces, Mathematical models, Congresses,Geometry, Data processing, Congresses
رده :
QA564
.
A3547
2006
8. Algorithms in algebraic geometry
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Geometry, Algebraic -- Data processing -- Congresses
رده :
516
.
350285
A396
9. Algorithms in algebraic geometry and applications
پدیدآورنده : Laureano Gonzalez-Vega, Tomas Recio, editors
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Data processing -- Congresses ، Geometry, Algebraic,Congresses ، Algorithms
رده :
QA
564
.
A47
1996
10. Algorithms in algebraic geometry and applications
پدیدآورنده : / Laureano Gonzaulez-Vega, Tomaus Recio, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Geometry, Algebraic, Data processing, Congresses,Algorithms, Congresses
رده :
QA564
.
A47
1996
11. Automated Deduction in Geometry
پدیدآورنده : \ Francisco Botana , Pedro Quaresma (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
رده :
T
385
.
A92
2015
E-Book
,
12. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
13. Automated deduction in geometry:
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Geometry - Data processing - Congresses,Automatic theorem proving - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA448
.
D38I577
1997
14. Automated deduction in geometry :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing ; Congresses. ;
15. Automated deduction in geometry :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing ; Congresses ; Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ; raisonnement g?om?trique ; g?om?trie algorithmique ; d?monstration th?or?me ; G?om?trie ; d?duction automatique ;
16. Automated deduction in geometry
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry ; Data processing ; Congresses. ; Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
17. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
I577
2004
18. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
.
I577
2000
19. Computational algebraic geometry
پدیدآورنده : / Hal Schenck
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Geometry, Algebraic- Data processing- Congresses
رده :
QA564
.
S29
2003
20. Computational algebraic geometry
پدیدآورنده : / Frederic Eyssette, Andre Galligo, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Geometry, Algebraic- Data processing- Congresses
رده :
QA564
.
C6564
1993